<header> ID del editor </header> La ID interna utilizada por Webmin para este editor de archivos. Es útil saberlo cuando se otorga acceso al editor a usuarios seleccionados de Usermin. <p><hr>